$\vdash$  $\mathbb{Z}^{-\circ}$ $\in$ Type